Proof of the sum